:: Monad m => _ -package:base

A special error value. If a property evaluates discard, it causes QuickCheck to discard the current test case. This can be useful if you want to discard the current test case, but are somewhere you can't use ==>, such as inside a generator.

The default value for this type.

Raise overflowException

Raise underflowException

Raise divZeroException

Closure introduced by GHC.Stg.Unarise for unused unboxed sum fields. See Note [aBSENT_SUM_FIELD_ERROR_ID] in GHC.Core.Make

A special case of error. It is expected that compilers will recognize this and insert error messages which are more appropriate to the context in which undefined appears.

Warning: undefined remains in code

Warning: notImplemented remains in code

Warning: undefined function remains in code

A value that is never available. Rerun of hang from unamb, but replicated to avoid mutual dependency. TODO: Remove when this module is moved into the unamb-test package.

Deprecated: It is highly recommended that you either avoid partial functions or provide meaningful error messages

A special case of error. It is expected that compilers will recognize this and insert error messages which are more appropriate to the context in which undefined appears.

Warning: undefined function remains in code (or use error)

The singleton for undefined.

Shorthand for undefined